Skip to content

Name what the verifier approximates in inconclusive results - #1442

Merged
copybara-service[bot] merged 1 commit into
mainfrom
test_1012231100
Nov 6, 2026
Merged

copybara-service[bot] merged 1 commit into
mainfrom
test_1012231100

Conversation

@copybara-service

Copy link
Copy Markdown
Contributor

Name what the verifier approximates in inconclusive results

@copybara-service
copybara-service Bot force-pushed the test_1012231100 branch 4 times, most recently from c76ffe6 to 18a5d88 Compare November 6, 2026 00:30
@copybara-service
copybara-service Bot merged commit 3745fbf into main Nov 6, 2026
2 checks passed
@copybara-service
copybara-service Bot deleted the test_1012231100 branch November 6, 2026 00:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant